19

Exploiting Execution Dynamics in Timing Analysis Using Job Sequences

Year:
2017
Language:
english
File:
PDF, 738 KB
english, 2017
26

Knowledge-based construction of distributed constrained systems

Year:
2016
Language:
english
File:
PDF, 624 KB
english, 2016
40

Achieving distributed control through model checking

Year:
2012
Language:
english
File:
PDF, 684 KB
english, 2012